Формальная выводимость

Translation формальная выводимость into english

Формальная выводимость формулы была проверена.

The formal derivability of the formula was verified.